Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Second batch of 24.0 releases for AdaCore libraries #925

Merged
merged 1 commit into from
Nov 27, 2023
Merged

Second batch of 24.0 releases for AdaCore libraries #925

merged 1 commit into from
Nov 27, 2023

Conversation

Fabien-Chouteau
Copy link
Member

No description provided.

@Fabien-Chouteau Fabien-Chouteau force-pushed the adacore-24-step-2 branch 2 times, most recently from 9d53858 to c0fa1af Compare November 24, 2023 14:34
@Fabien-Chouteau
Copy link
Member Author

Hi @reznikmm, can you confirm the markdown crate is ok?

@reznikmm
Copy link
Contributor

Hi @reznikmm, can you confirm the markdown crate is ok?

Yes! It looks fine. Thank you

@Fabien-Chouteau
Copy link
Member Author

Yes! It looks fine. Thank you

Thanks @reznikmm

@mosteo we can ignore the "check author" error.

@mosteo mosteo merged commit 0cae39b into stable-1.2.1 Nov 27, 2023
14 of 15 checks passed
@mosteo mosteo deleted the adacore-24-step-2 branch November 27, 2023 15:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mosteo mosteo mosteo approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Fabien-Chouteau @reznikmm @mosteo